logical foundations of modern mathematics - French English Dictionary